A formal definition of an object - oriented data / knowledge model
نویسنده
چکیده
The integration of databases and knowledge bases has become the purpose of many new AI technologies such as Intelligent Databases, Knowledge Base Management Systems, and Expert Database Systems. Object orientation has long been recognized as an appropriate approach for achieving the integration of data and knowledge management. This paper presents an objectoriented model for representing, storing and manipulating data and knowledge. The model is the result of extending the Smalltalk-80 object model, in order to incorporate the constructs needed to support object-oriented data/knowledge management. The emphasis in this paper is the formalization of the modelling constructs provided by the model. Formalization is considered an essential requirement for understanding, communicating, implementing and using properly the model. The formal definition of the model was accomplished using a well-known formal specification language, the Z Notation, which uses a model-based approach to formalization.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملTowards a Model for Object-Oriented Design Measurement
Object-oriented design plays a pivotal role in software development because it determines the structure of the software solution. Once the design has been implemented, it is difficult and expensive to change. Therefore the design should be good from the start. Metrics can help to evaluate and improve the quality of a design. Many metrics of object-oriented design have been proposed. Unfortunate...
متن کامل